--safe --only-scope-checking
